More from this Author

FM 2015: Formal Methods

by Nikolaj Bjørner (Editor), Frank de Boer (Editor)

Perspectives of System Informatics

by Nikolaj Bjørner (Editor), Irina Virbitskaite (Editor), Andrei Voronkov (Editor)

FM 2015: Formal Methods

by Nikolaj Bjørner (Editor), Frank de Boer (Editor), Nikolaj Bjørner (Editor)